Probabilities on Sentences in an Expressive Logic

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic.Comment: 52 LaTeX pages, 64 definiton/theorems/etc, presented at conference Progic 2011 in New Yor

A WIND-TUNNEL INVESTIGATION OF PRESSURE FLUCTUATIONS ON THE UPPER VERTICAL TAIL OF THE X-15 WHEN MATED TO THE B-52 CARRIER AIRPLANE

Wind tunnel investigation of pressure fluctuations on the upper vertical tail of the x-15 when mated to the b-52 carrier aircraf

Microfabricated optofluidic ring resonator structures

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/98683/1/ApplPhysLett_99_141108.pd

Coil-Assisted Retrograde Transvenous Obliteration (CARTO) for the Treatment of Portal Hypertensive Variceal Bleeding: Preliminary Results.

ObjectivesTo describe the technical feasibility, safety, and clinical outcomes of coil-assisted retrograde transvenous obliteration (CARTO) in treating portal hypertensive non-esophageal variceal hemorrhage.MethodsFrom October 2012 to December 2013, 20 patients who received CARTO for the treatment of portal hypertensive non-esophageal variceal bleeding were retrospectively evaluated. All 20 patients had at least 6-month follow-up. All patients had detachable coils placed to occlude the efferent shunt and retrograde gelfoam embolization to achieve complete thrombosis/obliteration of varices. Technical success, clinical success, rebleeding, and complications were evaluated at follow-up.ResultsA 100% technical success rate (defined as achieving complete occlusion of efferent shunt with complete thrombosis/obliteration of bleeding varices and/or stopping variceal bleeding) was demonstrated in all 20 patients. Clinical success rate (defined as no variceal rebleeding) was 100%. Follow-up computed tomography after CARTO demonstrated decrease in size with complete thrombosis and disappearance of the varices in all 20 patients. Thirteen out of the 20 had endoscopic confirmation of resolution of varices. Minor post-CARTO complications, including worsening of esophageal varices (not bleeding) and worsening of ascites/hydrothorax, were noted in 5 patients (25%). One patient passed away at 24 days after the CARTO due to systemic and portal venous thrombosis and multi-organ failure. Otherwise, no major complication was noted. No variceal rebleeding was noted in all 20 patients during mean follow-up of 384±154 days.ConclusionsCARTO appears to be a technically feasible and safe alternative to traditional balloon-occluded retrograde transvenous obliteration or transjugular intrahepatic portosystemic shunt, with excellent clinical outcomes in treating portal hypertensive non-esophageal variceal bleeding

Incommensurate Charge and Spin Fluctuations in d-wave Superconductors

We show analytic results for the irreducible charge and spin susceptibilities, $\chi_0 (\omega, {\bf Q})$, where ${\bf Q}$ is the momentum transfer between the nodes in d-wave superconductors. Using the BCS theory and a circular Fermi surface, we find that the singular behavior of the irreducible charge susceptibility leads to the dynamic incommensurate charge collective modes. The peaks in the charge structure factor occur at a set of wave vectors which form an ellipse around ${\bf Q}_{\pi}=(\pi,\pi)$ and ${\bf Q}_0=(0,0)$ in momentum space with momentum dependent spectral weight. It is also found that, due to the non-singular irreducible spin susceptibility, an extremely strong interaction via random phase approximation is required to support the magnetic peaks near ${\bf Q}_{\pi}$. Under certain conditions, the peaks in the magnetic structure factor occur near ${\bf Q}=(\pi,\pi (1 \pm \delta))$ and $(\pi (1 \pm \delta),\pi)$.Comment: 5 pages, 3 figure

Dispersive Gap Mode of Phonons in Anisotropic Superconductors

We estimate the effect of the superconducting gap anisotropy in the dispersive gap mode of phonons, which is observed by the neutron scattering on borocarbide superconductors. We numerically analyze the phonon spectrum considering the electron-phonon coupling, and examine contributions coming from the gap suppression and the sign change of the pairing function on the Fermi surface. When the sign of the pairing function is changed by the nesting translation, the gap mode does not appear. We also discuss the suppression of the phonon softening of the Kohn anomaly due to the onset of superconductivity. We demonstrate that observation of the gap dispersive mode is useful for sorting out the underlying superconducting pairing function.Comment: 7 pages, 12 figures, to be published in J. Phys. Soc. Jp

Control moment gyro optimization study

Control moment gyro optimizatio

Dispersion-Independent Terahertz Classification Based on Geometric Algebra for Substance Detection

We demonstrate and validate Geometric Algebra (GA) based terahertz (THz) signal classification of various powders in tablet form of various thicknesses, and compare the results with a conventional Support Vector Machine (SVM) approach. By using geometric algebra we can perform classification independently of dispersion and hence independently of the transmission path length through the sample. In principle, it may be possible to extend the GA coordinate-free transformation to other types of pulsed signals, such as pulsed microwaves or even acoustic signals in such fields as seismology. The classifier is available for download at Github, https://github.com/swuzhousl/Shengling-zhou/blob/geometric-algebra-classifier/GAclassifier

Gender tools for value chain analysis: Examples from groundnuts in Eastern Province, Zambia(Series Paper Number 21)

The commercialisation of ICRISAT’s mandate crops may have a negative impact on gender equity if men take control of decisions and roles that were previously controlled by women. This highlights the importance of gender analysis for value chain development. This discussion paper provides practical examples of tools that can be used to understand women’s role in the value chain, design gender-sensitive upgrading strategies, and measure changes in women’s control over decision-making for crop production and the use of crop income. The examples are based on the value chain for groundnuts in Eastern Province, Zambia. We summarise our experience of using these tools at a stakeholder workshop that included researchers, farmers, input suppliers, and processor